Functional specification - PDFSEARCH.IO - Document Search Engine

Functional specification
Results: 264

#	Item
31	Nordic Journal of Computing), 1-31 Subtyping and Constructive Specification Ole-Johan Dahl Olaf Owe Tore J. Bastiansen Add to Reading List Source URL: www.olejohandahl.info Language: English - Date: 2013-09-23 13:44:35 Type theory Data types Object-oriented programming Model theory Polymorphism Subtyping Type system FO Generic programming Functional predicate -recursive function Function
32	ADT: Site Search Version 1.0 Functional Specification Author Version Add to Reading List Source URL: www.extropia.com Language: English - Date: 2003-08-09 07:27:22 HTML World Wide Web Cross-platform software Scripting languages Common Gateway Interface Form Cascading Style Sheets Website JavaScript Perl
33	Software Requirements, Third Edition Add to Reading List Source URL: www.processimpact.com Language: English - Date: 2013-08-01 10:45:11 Software requirements Requirement Business requirements Functional requirement Use case User story Comprehensive & Robust Requirements Specification Process Software prototyping
34	Formal Methods in Safety-Critical Railway Systems Thierry Lecomte 1, Thierry Servat 1, Guilhem Pouzancre 1 1 ClearSy, Aix en Provence, France. Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-08-14 07:19:44 Systems engineering Formal methods Product development Software design Software quality Software development process B-Method Safety life cycle Specification Reliability engineering Functional specification Paris Mtro Line 14
35	ADT: Expense Tracker Version 1.0 Functional Specification Author Version Add to Reading List Source URL: www.extropia.com Language: English - Date: 2003-08-09 07:27:14 Form HTML World Wide Web Email
36	XML Subtree Queries: Specification and Composition Michael Benedikt and Irini Fundulaki Bell Labs, Lucent Technologies, USA Abstract. A frequent task encountered in XML processing is to filter an input document to produ Add to Reading List Source URL: users.ics.forth.gr Language: English - Date: 2010-09-29 11:43:00 Query languages Functional languages XPath Knowledge representation Data types XQuery XSLT R-tree B-tree Tree T-tree
37	ADT: Address Book Version 1.0 Functional Specification Author Version Add to Reading List Source URL: www.extropia.com Language: English - Date: 2003-08-09 07:27:10 World Wide Web Form Email Outlook.com Hypertext Transfer Protocol
38	A Study in Higher-Order Programming Languages MS Thesis Morten Rhiger Abstract: This thesis describes some interplays between the specification and the implementation of higher-order programming languages. We first inve Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:39 Source code Programming language implementation Functional languages Logic in computer science Programming language semantics Scheme Semantics Partial evaluation Programming language Macro Interpreter Action semantics
39	Instrument: Collaborative Project (STREP) Call Identifier: FP7-ICT2013-10 Grant Agreement: WP2 – DESIGN – Design and specification Add to Reading List Source URL: www.mediascapeproject.eu Language: English - Date: 2015-11-19 10:33:21 Software testing Prototype Load testing Usability Functional testing Software prototyping
40	The F# 2.0 Language Specification Note: This documentation is the specification of the 2.0 release of F# made by Microsoft Research and the Microsoft Developer Division in AprilDiscrepancies may exist between this Add to Reading List Source URL: fsharp.org Language: English - Date: 2016-08-15 16:34:27 Functional languages Type systems Type theory F Sharp Microsoft Research Strong and weak typing Expression C Operator Pattern matching C Sharp syntax